1. Information , Interaction And Agency
پدیدآورنده : \ Wiebe Van Der Hoek
کتابخانه: (طهران)
موضوع : الگوهای معرفت شناسی
رده :
BD
161
.
H6115
2. Logic, Rationality, and Interaction
پدیدآورنده : \ Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Information theory -- Congresses. ,منطق ریاضی -- کنگره‌ها
رده :
Q360
.
L67
2015
E-Book
,
3. Logic, Rationality, and Interaction
پدیدآورنده : / fang Wang-Wiebe van der Hoek, Wesley H. Holliday, Wen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
4. Modalities for reasoning about knowledge and quantities
پدیدآورنده : Wiebe van der Hoek.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Erkenntnistheorie,Mathematics.,Modality (Logic)
5. Specification and verification of multi-agent systems /
پدیدآورنده : Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification.,Multiagent systems.
رده :
QA76
.
76
.
I58
S64
2010
